261. FME 2003 :
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
Classification :
QA76
.
76
.
D47
I593
2003
262. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2805
263. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2391
264. FORTRAN numerical recipes
Author: / William H. Press ... [et al.]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: FORTRAN (Computer program language),Numerical analysis- Computer programs,Science- Mathematics- Computer programs
Classification :
QA76
.
73
.
F25
,
F64
1996
265. FORTRAN numerical recipes
Author: / William H. Press ... [et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: FORTRAN (Computer program language),Numerical analysis -- Computer programs,Science -- Mathematics -- Computer programs
Classification :
QA
76
.
73
.
F25
F64
1996
266. FORTRAN numerical recipes
Author: William H. Press ... ]et al.[
Library: Central Library and Documentation Center (Golestan)
Subject: ، FORTRAN )Computer program language(,Computer programs ، Numerical analysis,Mathematics Computer programs ، Science
Classification :
QA
76
.
73
.
F25
F64
267. FORTRAN numerical recipes
Author: William H. Press ... [et al.]&
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: FORTRAN (Computer program language),Numerical analysis- Computer programs,Science- Mathematics- Computer programs
Classification :
QA
,
76
.
73
,.
F25
,
F64
,
1996
268. FORTRAN numerical recipes
Author: / William H. Press ... [et al.]
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: FORTRAN (Computer program language),Numerical analysis- Computer programs,Science- Mathematics- Computer programs
Classification :
QA76
.
73
.
F25
,
F64
1996
269. Facing the Multicore - Challenge II
Author: edited by Rainer Keller, David Kramer, Jan-Philipp Weiss
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science,Computer science-- Mathematics,Computer software,Computer vision,Electronic data processing,Engineering,Physics,Software engineering,Algorithm Analysis and Problem Complexity,Complexity,Computational Mathematics and Numerical Analysis,Computer Imaging, Vision, Pattern Recognition and Graphics,Computer Science,Numeric Computing,Software Engineering/Programming and Operating Systems
270. Fields of Logic and Computation II
Author: \ Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte (eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Software engineering,نرمافزار,-- Congresses,-- کنگرهها, -- مهندسی,a04,a04,Computer logic -- Congresses,Computer science -- Mathematics -- Congresses,منطق کامپیوتری -- کنگره ها,علوم کامپیوتر -- ریاضیات -- کنگرهها
Classification :
QA
76
.
9
.
L63
F54
2015
E-Book
,
271. Forced migration, human rights and security /
Author: edited by Jane McAd
Library: Library of Islamic Parliament (Tehran)
Subject:
272. Formal Aspects of Measurement :
Author: edited by Tim Denvir, Rosalind Herman, Robin W. Whitty.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Software engineering.
273. Formal Power Series and Algebraic Combinatorics
Author: edited by Daniel Krob, Alexander A. Mikhalev, Alexander V. Mikhalev.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorics.,Computer science.,Mathematics.
274. Formal aspects of component software :
Author: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
275. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
276. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
277. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67
278. Fortran 2018 with parallel programming /
Author: Subrata Ray
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: FORTRAN (Computer program language),Parallel programming (Computer science),COMPUTERS-- Computer Engineering.,COMPUTERS-- Computer Graphics-- Game Programming & Design.,COMPUTERS-- Programming Languages-- General.,FORTRAN (Computer program language),Parallel programming (Computer science)
Classification :
QA76
.
73
.
F25
R39
2020eb
279. Foundations of algebraic specification and formal software development
Author: / D. (Donald) Sannella
Library: Campus International Library of Kish University of Tehran (Hormozgan)
Subject: Computer science--Mathematics.,Software engineering.,Computer software--Development.
Classification :
QA76
.
9
.
M35
S26
2012
280. Foundations of software science and computation structures :
Author: Christel Baier, Ugo Dal Lago (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,Software engineering, Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer software.,Computers-- Data Processing.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Discrete mathematics.,Information technology: general issues.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
751
.
F67
2018eb
